21. Assertion-Based Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدار‌های مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)

رده :
E-Book
,

22. Assertion-based design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
E-BOOK

23. Assertion-based design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
TK7874
.
75
F68
2004

24. Authentication of embedded devices :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ;

25. Business data communications

پدیدآورنده :

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع : Business enterprises, Computer networks,Computer networks,Data transmission systems,Information technology, Management

رده :
HF
5548
,.
2
.
A35B8
2011

26. CMOS circuit design, layout, and simulation

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Metal oxide semiconductors, Complementary , Design and construction,Integrated circuits , Design and construction,Metal oxide semiconductor field-effect transistors

رده :
E-BOOK

27. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Integrated circuits- Verification,، Computer software- Verification,، Systems on a chip

رده :
TK
7874
.
A595
2005

28. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
E-BOOK

29. Co-verification of hardware and software for ARM SoC design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Integrated circuits- Verification,Computer software- Verification,Systems on a chip

رده :
TK7874
.
A595
2005

30. Comprehensive Functional Verification the Complete Industry Cycle

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Verification.,Computer engineering.,مدار‌های مجتمع -- راستی‌آزمایی ,مهندسی کامپیوتر

رده :
E-Book
,

31. Comprehensive Functional verification the complete industry cycle

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Integrated circuits -- Verification,Computer engineering

رده :
TK
،
7874
.
58
،.
W55
،
2005

32. Comprehensive functional verification the complete industry cycle

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Verification. ; Computer engineering. ;

33. Comprehensive functional verification the complete industry cycle /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.

رده :
TK7874
.
58
.
W55
2005eb

34. Computer Aided Verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic design.,Software engineering.

35. Computer-Hardware Evaluation of Mathematical Functions

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer arithmetic.,Computer arithmetic and logic units.,Computer algorithms.,Integrated circuits-- Verification.,محاسبات رایانه ,م‍دارات‌ م‍ج‍ت‍م‍ع -- ‌ راستی آزمایی

رده :
QA
76
.
9
.
O4C6
2015
E-Book
,

36. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses

رده :
QA
76
.
76
.
V47
C38
1993

37. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

رده :
QA
76
.
L28
Vol
.
2725

38. Computer-aided verification : 2nd International Conference, CAV'90, New Brunswick, NJ, USA, June 18-21, 1990 : Proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده :
QA
76
.
L28
Vol
.
531

39. Computer-aided verification: proceedings 2nd International conference, CAV'90

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : Congresses ، Digital integrated circuits-- Computer-aided design,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
D553
1990a

40. Computer-aided verification 90 : proceedings of a DIMACS Workshop, June 18-21, 1990

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design

رده :
TK
7874
.
D55
1990